/LMAR=0/XLINE=10/FONT#0=BASL30/FONT#1=SIGN57/FONT#2=SHD40/FONT#3=BASI30/FONT#4=BASB30/FONT#5=NGR25/FONT#6=NGR20/TMAR=50/PMAR=2100/BMAR=50



␈↓"∧␈↓ x␈↓␈α?␈α?␈α?␈α?␈α⊂␈↓↓THEORY  FORMATION:␈↓

␈↓"π␈↓ x␈↓␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α7␈↓¬Some Initial Thoughts on␈↓

␈↓"π␈↓ x␈↓␈α?␈α?␈α/␈↓↓A  SYSTEM  WHICH  CAN
␈↓"π␈↓ x␈↓↓␈α?␈α?␈α≡DEVELOP  MATHEMATICAL
␈↓"π␈↓ x␈↓↓␈α?␈α?␈α?␈α∀CONCEPTS  INTUITIVELY␈↓










␈↓"π␈↓ x␈↓␈↓αDOUG LENAT


␈↓"π␈↓ x␈↓αSTANFORD UNIVERSITY
␈↓"π␈↓ x␈↓αARTIFICIAL INTELLIGENCE LABORATORY



␈↓"π␈↓ x␈↓SECOND  SKETCH

␈↓"π␈↓ x␈↓␈↓βNot for distribution␈↓














␈↓"∧␈↓ x␈↓␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α8␈↓εLast edited   January 20  1975␈↓␈↓ λ